Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
311	Rheinische Friedrich-Wilhelms-Universität Bonn Institut für Informatik III Add to Reading List Source URL: www.iai.uni-bonn.de Language: English - Date: 2014-01-24 04:21:13 Type theory Functional languages Data types Agda Haskell Functional programming Dependent type Pattern matching Type system Software engineering Computing Programming language theory
312	Monooxygenases as biocatalysts: Classification, mechanistic aspects and biotechnological applications Add to Reading List Source URL: gbb.eldoc.ub.rug.nl Language: English - Date: 2010-07-15 10:01:53 Chemical kinetics Squalene monooxygenase Cytochrome P450 Styrene monooxygenase Cofactor Oxygenase Transition metal oxo complex Salicylate 1-monooxygenase Copper type II ascorbate-dependent monooxygenase Chemistry Enzymes Biology
313	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
314	Habilitationsschrift Normalization by Evaluation Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-02-05 11:53:37 Lambda calculus Mathematical logic Logic in computer science Dependently typed programming Theory of computation Normalisation by evaluation Simply typed lambda calculus Typed lambda calculus Dependent type Type theory Programming language theory Theoretical computer science
315	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
316	Thesis for the degree of Doctor of Philosophy Towards a practical programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:01 Computing Functional languages Automated theorem proving Programming paradigms Logic in computer science Agda Dependent type Type system Coq Software engineering Programming language theory Type theory
317	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: wiki.portal.chalmers.se Language: English - Date: 2010-06-22 17:03:15 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
318	Certified Programming with Dependent Types Adam Chlipala September 26, 2013 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2013-10-16 10:39:33 Logic in computer science Formal methods Automated theorem proving Type theory Functional languages Proof assistant Twelf Coq ACL2 Theoretical computer science Mathematics Software engineering
319	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science

UPDATE